import scala.tools.nsc.*

object Test {

  /**
   *  Type inference overlooks constraints posed by type parameters in annotations on types.
   */

  val testCode = """

    class posingAs[A] extends annotation.TypeConstraint

    def resolve[A,B](x: A @posingAs[B]): B = x.asInstanceOf[B]

    val x = resolve(7: @posingAs[Any])

  """

  def main(args: Array[String]): Unit = {

    val settings = new Settings()
    settings.classpath.value = System.getProperty("java.class.path")
    val tool = new interpreter.IMain(settings)
    val global = tool.global

    import global.*
    import definitions.*

    object checker extends AnnotationChecker {

      /** Check annotations to decide whether tpe1 <:< tpe2 */
      def annotationsConform(tpe1: Type, tpe2: Type): Boolean = {

        tpe1.annotations.forall(a1 => tpe2.annotations.forall(a2 => a1.atp <:< a2.atp))

      }
    }

    global.addAnnotationChecker(checker)

    tool.interpret(testCode)

  }

}

